Computer Science and Engineering

Results: 6228



#Item
631Wireless networking / Network performance / Computing / Telecommunications engineering / Media access control / Information theory / Data transmission / Packet radio / Duplex / Throughput / Exposed node problem / Transmission Control Protocol

RCTC: Rapid Concurrent Transmission Coordination in Full Duplex Wireless Networks Wenjie Zhou, Kannan Srinivasan and Prasun Sinha Department of Computer Science and Engineering The Ohio State University

Add to Reading List

Source URL: web.cse.ohio-state.edu

Language: English - Date: 2013-08-25 15:21:10
632Manufacturing / Industrial design / Computer-aided design / Design engineering / Business / 3D printing / Business process management / Visualization / Technology / Science and technology / Digital manufacturing

CONTOUR ™ Process Control and Quality Assurance Software for Additive Manufacturing FEATURES

Add to Reading List

Source URL: www.sigmalabsinc.com

Language: English - Date: 2016-05-27 13:03:09
633Security / Prevention / Safety / National security / Crime prevention / Cryptography / Information governance / Data security / Information security / Systems engineering / Computer security

Master of Science Program in Information Technology Degree RequirementsIT 5413 Software Design and Development IT 5443 Web

Add to Reading List

Source URL: ccse.kennesaw.edu

Language: English - Date: 2015-08-15 14:09:11
634Computing / Software engineering / Computer security / Cryptography / Trusted computing / Smart cards / Trusted Platform Module / Closure / Variable / Java Card / Subroutine / Trusted Execution Technology

The Trusted Execution Module: Commodity General-Purpose Trusted Computing Victor Costan, Luis F. G. Sarmenta, Marten van Dijk, and Srinivas Devadas MIT Computer Science and Artificial Intelligence Laboratory, Cambridge,

Add to Reading List

Source URL: people.csail.mit.edu

Language: English - Date: 2008-06-16 20:15:44
635Theoretical computer science / Models of computation / Logic in computer science / Mathematical logic / Software engineering / Denotational semantics / Computability theory / Symbol / Proof theory / Lambda calculus / Generalised Whitehead product / Programming Computable Functions

Parametricity and Proving Free Theorems for Functional-Logic Languages Stefan Mehner ∗ Daniel Seidel†

Add to Reading List

Source URL: www.lix.polytechnique.fr

Language: English - Date: 2014-12-08 09:42:38
636Computing / Computer architecture / Parallel computing / Computer engineering / Xeon Phi / Xeon / OpenMP / 512-bit / Coprocessor / Intel Fortran Compiler / Intel Advisor

Computational Science and Engineering (Int. Master’s Program) Technische Universit¨at M¨ unchen Parallel, Dynamically Adaptive 2.5D

Add to Reading List

Source URL: www5.in.tum.de

Language: English - Date: 2016-03-16 05:29:02
637Software engineering / Computer programming / Computing / Subroutines / Electronic design automation / Compiler construction / Programming language implementation / Theoretical computer science / High-level synthesis / Recursion / Compiler / Inline expansion

Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Higher-Level Techniques for Hardware Description and Synthesis Alan Mycroft, Richard Sharp

Add to Reading List

Source URL: rich.recoil.org

Language: English - Date: 2006-04-13 14:58:02
638Engineering / Design / Heuristic / Fault / Reliability engineering / Problem solving

The Top Ten List: Dynamic Fault Prediction Ahmed E. Hassan and Richard C. Holt Software Architecture Group (SWAG) School of Computer Science University of Waterloo Waterloo, Canada

Add to Reading List

Source URL: plg.uwaterloo.ca

Language: English - Date: 2005-07-08 17:14:20
639Heating /  ventilating /  and air conditioning / Energy / Building automation / Energy-saving lighting / Construction / Real estate / Occupancy sensor / Home automation / Sensors / Passive infrared sensor / Occupancy / Wireless sensor network

Occupancy-Driven Energy Management for Smart Building Automation Yuvraj Agarwal, Bharathan Balaji, Rajesh Gupta, Jacob Lyles, Michael Wei, Thomas Weng Department of Computer Science and Engineering University of Californ

Add to Reading List

Source URL: mesl.ucsd.edu

Language: English - Date: 2011-04-30 02:40:46
640Software / Computing / Extensible Storage Engine / Proprietary software / Common Gateway Interface / Apache HTTP Server / Database / File system / Distributed computing architecture / Relational database management systems / Apache Hive

Managing Versions of Web Documents in a Transaction-time Web Server Curtis Dyreson, Hui-Ling Lin, and Yingxia Wang Washington State University School of Electrical Engineering and Computer Science Pullman, WA, USA

Add to Reading List

Source URL: wwwconference.org

Language: English - Date: 2008-05-12 03:09:38
UPDATE